metrization theorem of urysohn

乌里申度量化定理